package real.lang.set;

import java.util.EnumSet;

import real.lang.*;
import real.lang.reflect.EnumerationOfRealSubtypes;
import real.lang.reflect.EnumerationOfRealTypes;
import real.lang.reflect.RealRTI;
import real.lang.reflect.RealType;
import real.lang.reflect.RealTypeSignature;

public class NaturalNumbers extends RealSet {

	public NaturalNumbers(RealType type) {
		super(type);
	}		
	public NaturalNumbers() throws RealLangException {		
		super(RealRTI.getInstance().GetType(getRealTypeSignature(RealRTI.DEFAULT_TYPE_SPACE)));
	}
	
	public static RealTypeSignature getRealTypeSignature(String typeSpace) {
		RealTypeSignature signature = new RealTypeSignature(
				EnumerationOfRealTypes.SET, 
				EnumSet.of(EnumerationOfRealSubtypes.NUMBERS), typeSpace);
		return signature;
	}
	
}
